Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Light alloys and high-temperature alloys are widely used as key engineering materials in both the civil and military industries due to their excellent comprehensive properties and performance. Over recent decades, huge amounts of theoretical and/or experimental efforts have been devoted to this field and great achievements have been made. In this book, entitled "Light Alloys and High-Temperature Alloys", there are 14 research papers contributed by 85 authors at 27 universities/institutes/companies from 9 countries, including China, the USA, the UK, Germany, Spain, Australia, Ukraine, Poland, and Romania. The topics cover different types of light alloys, including Al-, Mg-, and Ti-based ones (also Ti-based metal matrix composites), and high-temperature alloys, including Ni-, Fe-, Nb-, and Ta-based ones. Two new types of alloys, i.e., complex concentrated alloys (CCAs) and phase change materials, are also included. Moreover, in this book, a variety of multi-scale theoretical methods, ranging from first-principles calculations, first-principles molecular dynamic simulations, and Calculation of Phase Diagram (CALPHAD) modeling to crystal plasticity finite element simulations coupled with knowledge graph, as well as experimental techniques, e.g., casting, powder metallurgy, additive manufacturing, etc. are discussed. Consequently, the diverse topics and state-of-the-art theoretical/experimental techniques will attract broad interest from materials researchers worldwide.

Metals --- Effect of low temperatures on.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Light alloys and high-temperature alloys are widely used as key engineering materials in both the civil and military industries due to their excellent comprehensive properties and performance. Over recent decades, huge amounts of theoretical and/or experimental efforts have been devoted to this field and great achievements have been made. In this book, entitled "Light Alloys and High-Temperature Alloys", there are 14 research papers contributed by 85 authors at 27 universities/institutes/companies from 9 countries, including China, the USA, the UK, Germany, Spain, Australia, Ukraine, Poland, and Romania. The topics cover different types of light alloys, including Al-, Mg-, and Ti-based ones (also Ti-based metal matrix composites), and high-temperature alloys, including Ni-, Fe-, Nb-, and Ta-based ones. Two new types of alloys, i.e., complex concentrated alloys (CCAs) and phase change materials, are also included. Moreover, in this book, a variety of multi-scale theoretical methods, ranging from first-principles calculations, first-principles molecular dynamic simulations, and Calculation of Phase Diagram (CALPHAD) modeling to crystal plasticity finite element simulations coupled with knowledge graph, as well as experimental techniques, e.g., casting, powder metallurgy, additive manufacturing, etc. are discussed. Consequently, the diverse topics and state-of-the-art theoretical/experimental techniques will attract broad interest from materials researchers worldwide.

Metals --- Effect of low temperatures on.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering. .

Software engineering. --- Computers. --- Computer organization. --- Artificial intelligence. --- Computer logic. --- Computer simulation. --- Software Engineering. --- Theory of Computation. --- Computer Systems Organization and Communication Networks. --- Logic in AI. --- Simulation and Modeling. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Computer science logic --- Logic, Symbolic and mathematical --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Fifth generation computers --- Neural computers --- Organization, Computer --- Electronic digital computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Formal methods (Computer science) --- Software engineering

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering. .

Logic --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- computers --- mineralen (chemie) --- mijnbouw --- software engineering --- KI (kunstmatige intelligentie)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October  2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.

Computer Science --- Engineering & Applied Sciences --- Computer science. --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence (incl. Robotics). --- Programming Techniques. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Programming --- Logic design. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory